home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 4 / Meeting Pearls Vol. IV (1996)(GTI - Schatztruhe)[!].iso / Pearls / dev / Language / CLisp / src / timezone.lsp < prev   
Lisp/Scheme  |  1996-04-15  |  74KB  |  1,248 lines
  1. ;;; time zone definition for non-UNIX systems
  2. ;;; Bruno Haible 8.-11.2.1994
  3. ;;; The data here comes from the /usr/lib/zoneinfo/ directory of the Linux
  4. ;;; package util-linux-1.5 and was constrained to the range 1950..2020.
  5.  
  6. (in-package "SYSTEM")
  7.  
  8. (defvar *default-time-zone*)
  9. (defvar *default-dst-check*)
  10.  
  11. (labels
  12.   ;; functions to check whether DST is in effect at a certain day and hour
  13.   ;; in a certain march-based year.
  14.   ((no-DST-p (Jahr Jahrtag Stunde) ; no DST at all
  15.      (declare (ignore Jahr Jahrtag Stunde))
  16.      nil
  17.    )
  18.    ;; Europe:
  19.    (GB-Eire-DST-p (Jahr Jahrtag Stunde)
  20.      (when (and (= Jahr 1967) (>= Jahrtag 337)) ; February 1968 ?
  21.        (incf Jahr) (decf Jahrtag 366)
  22.      )
  23.      (and (<= 1960 Jahr 2020)
  24.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  25.              (Grenzen
  26.                (svref '#((961 . 5160) ; 1960 : 10.4. 1h to 2.10. 1h
  27.                          ; last Sunday in March 1h to last Sunday in October 1h
  28.                          (601 . 5808) ; 1961 : 26.3. 1h to 29.10. 1h
  29.                          (577 . 5784) ; 1962 : 25.3. 1h to 28.10. 1h
  30.                          (721 . 5760) ; 1963 : 31.3. 1h to 27.10. 1h
  31.                          ; Sunday>=19 in March 1h to last Sunday in October 1h
  32.                          (505 . 5712) ; 1964 : 22.3. 1h to 25.10. 1h
  33.                          (481 . 5688) ; 1965 : 21.3. 1h to 24.10. 1h
  34.                          (457 . 5664) ; 1966 : 20.3. 1h to 23.10. 1h
  35.                          (433 . 5808) ; 1967 : 19.3. 1h to 29.10. 1h
  36.                          ; all year
  37.                          (-263 . 8759) ; 1968 : 18.2. 1h to end of year
  38.                          (0 . 8759) ; 1969 : all year
  39.                          (0 . 8759) ; 1970 : all year
  40.                          (0 . 5856) ; 1971 : beginning of year to 31.10. 1h
  41.                          ; Sunday>=16 in March 1h to last Sunday in October 1h
  42.                          (433 . 5808) ; 1972 : 19.3. 1h to 29.10. 1h
  43.                          (409 . 5784) ; 1973 : 18.3. 1h to 28.10. 1h
  44.                          (385 . 5760) ; 1974 : 17.3. 1h to 27.10. 1h
  45.                          (361 . 5736) ; 1975 : 16.3. 1h to 26.10. 1h
  46.                          (481 . 5688) ; 1976 : 21.3. 1h to 24.10. 1h
  47.                          (457 . 5664) ; 1977 : 20.3. 1h to 23.10. 1h
  48.                          (433 . 5808) ; 1978 : 19.3. 1h to 29.10. 1h
  49.                          (409 . 5784) ; 1979 : 18.3. 1h to 28.10. 1h
  50.                          (361 . 5736) ; 1980 : 16.3. 1h to 26.10. 1h
  51.                          ; last Sunday in March 1h to last Sunday in October 1h
  52.                          (673 . 5712) ; 1981 : 29.3. 1h to 25.10. 1h
  53.                          (649 . 5688) ; 1982 : 28.3. 1h to 24.10. 1h
  54.                          (625 . 5664) ; 1983 : 27.3. 1h to 23.10. 1h
  55.                          (577 . 5784) ; 1984 : 25.3. 1h to 28.10. 1h
  56.                          (721 . 5760) ; 1985 : 31.3. 1h to 27.10. 1h
  57.                          (697 . 5736) ; 1986 : 30.3. 1h to 26.10. 1h
  58.                          (673 . 5712) ; 1987 : 29.3. 1h to 25.10. 1h
  59.                          (625 . 5664) ; 1988 : 27.3. 1h to 23.10. 1h
  60.                          (601 . 5808) ; 1989 : 26.3. 1h to 29.10. 1h
  61.                          (577 . 5784) ; 1990 : 25.3. 1h to 28.10. 1h
  62.                          (721 . 5760) ; 1991 : 31.3. 1h to 27.10. 1h
  63.                          (673 . 5712) ; 1992 : 29.3. 1h to 25.10. 1h
  64.                          (649 . 5688) ; 1993 : 28.3. 1h to 24.10. 1h
  65.                          (625 . 5664) ; 1994 : 27.3. 1h to 23.10. 1h
  66.                          (601 . 5808) ; 1995 : 26.3. 1h to 29.10. 1h
  67.                          (721 . 5760) ; 1996 : 31.3. 1h to 27.10. 1h
  68.                          (697 . 5736) ; 1997 : 30.3. 1h to 26.10. 1h
  69.                          (673 . 5712) ; 1998 : 29.3. 1h to 25.10. 1h
  70.                          (649 . 5688) ; 1999 : 28.3. 1h to 24.10. 1h
  71.                          (601 . 5808) ; 2000 : 26.3. 1h to 29.10. 1h
  72.                          (577 . 5784) ; 2001 : 25.3. 1h to 28.10. 1h
  73.                          (721 . 5760) ; 2002 : 31.3. 1h to 27.10. 1h
  74.                          (697 . 5736) ; 2003 : 30.3. 1h to 26.10. 1h
  75.                          (649 . 5688) ; 2004 : 28.3. 1h to 24.10. 1h
  76.                          (625 . 5664) ; 2005 : 27.3. 1h to 23.10. 1h
  77.                          (601 . 5808) ; 2006 : 26.3. 1h to 29.10. 1h
  78.                          (577 . 5784) ; 2007 : 25.3. 1h to 28.10. 1h
  79.                          (697 . 5736) ; 2008 : 30.3. 1h to 26.10. 1h
  80.                          (673 . 5712) ; 2009 : 29.3. 1h to 25.10. 1h
  81.                          (649 . 5688) ; 2010 : 28.3. 1h to 24.10. 1h
  82.                          (625 . 5664) ; 2011 : 27.3. 1h to 23.10. 1h
  83.                          (577 . 5784) ; 2012 : 25.3. 1h to 28.10. 1h
  84.                          (721 . 5760) ; 2013 : 31.3. 1h to 27.10. 1h
  85.                          (697 . 5736) ; 2014 : 30.3. 1h to 26.10. 1h
  86.                          (673 . 5712) ; 2015 : 29.3. 1h to 25.10. 1h
  87.                          (625 . 5664) ; 2016 : 27.3. 1h to 23.10. 1h
  88.                          (601 . 5808) ; 2017 : 26.3. 1h to 29.10. 1h
  89.                          (577 . 5784) ; 2018 : 25.3. 1h to 28.10. 1h
  90.                          (721 . 5760) ; 2019 : 31.3. 1h to 27.10. 1h
  91.                          (673 . 5712) ; 2020 : 29.3. 1h to 25.10. 1h
  92.                         )
  93.                       (- Jahr 1960)
  94.             )) )
  95.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  96.    ) ) )
  97.    (West-Europe-DST-p (Jahr Jahrtag Stunde)
  98.      (and (<= 1980 Jahr 2020)
  99.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  100.              (Grenzen
  101.                (svref '#(; last Sunday in March 1h to last Sunday in September 1h
  102.                          (697 . 5064) ; 1980 : 30.3. 1h to 28.9. 1h
  103.                          (673 . 5040) ; 1981 : 29.3. 1h to 27.9. 1h
  104.                          (649 . 5016) ; 1982 : 28.3. 1h to 26.9. 1h
  105.                          (625 . 4992) ; 1983 : 27.3. 1h to 25.9. 1h
  106.                          (577 . 5112) ; 1984 : 25.3. 1h to 30.9. 1h
  107.                          (721 . 5088) ; 1985 : 31.3. 1h to 29.9. 1h
  108.                          (697 . 5064) ; 1986 : 30.3. 1h to 28.9. 1h
  109.                          (673 . 5040) ; 1987 : 29.3. 1h to 27.9. 1h
  110.                          (625 . 4992) ; 1988 : 27.3. 1h to 25.9. 1h
  111.                          (601 . 4968) ; 1989 : 26.3. 1h to 24.9. 1h
  112.                          (577 . 5112) ; 1990 : 25.3. 1h to 30.9. 1h
  113.                          (721 . 5088) ; 1991 : 31.3. 1h to 29.9. 1h
  114.                          (673 . 5040) ; 1992 : 29.3. 1h to 27.9. 1h
  115.                          (649 . 5016) ; 1993 : 28.3. 1h to 26.9. 1h
  116.                          (625 . 4992) ; 1994 : 27.3. 1h to 25.9. 1h
  117.                          (601 . 4968) ; 1995 : 26.3. 1h to 24.9. 1h
  118.                          (721 . 5088) ; 1996 : 31.3. 1h to 29.9. 1h
  119.                          (697 . 5064) ; 1997 : 30.3. 1h to 28.9. 1h
  120.                          (673 . 5040) ; 1998 : 29.3. 1h to 27.9. 1h
  121.                          (649 . 5016) ; 1999 : 28.3. 1h to 26.9. 1h
  122.                          (601 . 4968) ; 2000 : 26.3. 1h to 24.9. 1h
  123.                          (577 . 5112) ; 2001 : 25.3. 1h to 30.9. 1h
  124.                          (721 . 5088) ; 2002 : 31.3. 1h to 29.9. 1h
  125.                          (697 . 5064) ; 2003 : 30.3. 1h to 28.9. 1h
  126.                          (649 . 5016) ; 2004 : 28.3. 1h to 26.9. 1h
  127.                          (625 . 4992) ; 2005 : 27.3. 1h to 25.9. 1h
  128.                          (601 . 4968) ; 2006 : 26.3. 1h to 24.9. 1h
  129.                          (577 . 5112) ; 2007 : 25.3. 1h to 30.9. 1h
  130.                          (697 . 5064) ; 2008 : 30.3. 1h to 28.9. 1h
  131.                          (673 . 5040) ; 2009 : 29.3. 1h to 27.9. 1h
  132.                          (649 . 5016) ; 2010 : 28.3. 1h to 26.9. 1h
  133.                          (625 . 4992) ; 2011 : 27.3. 1h to 25.9. 1h
  134.                          (577 . 5112) ; 2012 : 25.3. 1h to 30.9. 1h
  135.                          (721 . 5088) ; 2013 : 31.3. 1h to 29.9. 1h
  136.                          (697 . 5064) ; 2014 : 30.3. 1h to 28.9. 1h
  137.                          (673 . 5040) ; 2015 : 29.3. 1h to 27.9. 1h
  138.                          (625 . 4992) ; 2016 : 27.3. 1h to 25.9. 1h
  139.                          (601 . 4968) ; 2017 : 26.3. 1h to 24.9. 1h
  140.                          (577 . 5112) ; 2018 : 25.3. 1h to 30.9. 1h
  141.                          (721 . 5088) ; 2019 : 31.3. 1h to 29.9. 1h
  142.                          (673 . 5040) ; 2020 : 29.3. 1h to 27.9. 1h
  143.                         )
  144.                       (- Jahr 1980)
  145.             )) )
  146.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  147.    ) ) )
  148.    (Mid-Europe-DST-p (Jahr Jahrtag Stunde)
  149.      (and (<= 1980 Jahr 2020)
  150.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  151.              (Grenzen
  152.                (svref '#(; I think DST was introduced in Germany in 1980.
  153.                          ; last Sunday in March 2h to last Sunday in September 2h
  154.                          (698 . 5065) ; 1980 : 30.3. 2h to 28.9. 2h
  155.                          (674 . 5041) ; 1981 : 29.3. 2h to 27.9. 2h
  156.                          (650 . 5017) ; 1982 : 28.3. 2h to 26.9. 2h
  157.                          (626 . 4993) ; 1983 : 27.3. 2h to 25.9. 2h
  158.                          (578 . 5113) ; 1984 : 25.3. 2h to 30.9. 2h
  159.                          (722 . 5089) ; 1985 : 31.3. 2h to 29.9. 2h
  160.                          (698 . 5065) ; 1986 : 30.3. 2h to 28.9. 2h
  161.                          (674 . 5041) ; 1987 : 29.3. 2h to 27.9. 2h
  162.                          (626 . 4993) ; 1988 : 27.3. 2h to 25.9. 2h
  163.                          (602 . 4969) ; 1989 : 26.3. 2h to 24.9. 2h
  164.                          (578 . 5113) ; 1990 : 25.3. 2h to 30.9. 2h
  165.                          (722 . 5089) ; 1991 : 31.3. 2h to 29.9. 2h
  166.                          (674 . 5041) ; 1992 : 29.3. 2h to 27.9. 2h
  167.                          (650 . 5017) ; 1993 : 28.3. 2h to 26.9. 2h
  168.                          (626 . 4993) ; 1994 : 27.3. 2h to 25.9. 2h
  169.                          (602 . 4969) ; 1995 : 26.3. 2h to 24.9. 2h
  170.                          ; last Sunday in March 2h to last Sunday in October 2h
  171.                          (722 . 5761) ; 1996 : 31.3. 2h to 27.10. 2h
  172.                          (698 . 5737) ; 1997 : 30.3. 2h to 26.10. 2h
  173.                          (674 . 5713) ; 1998 : 29.3. 2h to 25.10. 2h
  174.                          (650 . 5857) ; 1999 : 28.3. 2h to 31.10. 2h
  175.                          (602 . 5809) ; 2000 : 26.3. 2h to 29.10. 2h
  176.                          (578 . 5785) ; 2001 : 25.3. 2h to 28.10. 2h
  177.                          (722 . 5761) ; 2002 : 31.3. 2h to 27.10. 2h
  178.                          (698 . 5737) ; 2003 : 30.3. 2h to 26.10. 2h
  179.                          (650 . 5857) ; 2004 : 28.3. 2h to 31.10. 2h
  180.                          (626 . 5833) ; 2005 : 27.3. 2h to 30.10. 2h
  181.                          (602 . 5809) ; 2006 : 26.3. 2h to 29.10. 2h
  182.                          (578 . 5785) ; 2007 : 25.3. 2h to 28.10. 2h
  183.                          (698 . 5737) ; 2008 : 30.3. 2h to 26.10. 2h
  184.                          (674 . 5713) ; 2009 : 29.3. 2h to 25.10. 2h
  185.                          (650 . 5857) ; 2010 : 28.3. 2h to 31.10. 2h
  186.                          (626 . 5833) ; 2011 : 27.3. 2h to 30.10. 2h
  187.                          (578 . 5785) ; 2012 : 25.3. 2h to 28.10. 2h
  188.                          (722 . 5761) ; 2013 : 31.3. 2h to 27.10. 2h
  189.                          (698 . 5737) ; 2014 : 30.3. 2h to 26.10. 2h
  190.                          (674 . 5713) ; 2015 : 29.3. 2h to 25.10. 2h
  191.                          (626 . 5833) ; 2016 : 27.3. 2h to 30.10. 2h
  192.                          (602 . 5809) ; 2017 : 26.3. 2h to 29.10. 2h
  193.                          (578 . 5785) ; 2018 : 25.3. 2h to 28.10. 2h
  194.                          (722 . 5761) ; 2019 : 31.3. 2h to 27.10. 2h
  195.                          (674 . 5713) ; 2020 : 29.3. 2h to 25.10. 2h
  196.                         )
  197.                       (- Jahr 1980)
  198.             )) )
  199.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  200.    ) ) )
  201.    (East-Europe-DST-p (Jahr Jahrtag Stunde)
  202.      (and (<= 1980 Jahr 2020)
  203.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  204.              (Grenzen
  205.                (svref '#(; last Sunday in March 3h to last Sunday in September 3h
  206.                          (699 . 5066) ; 1980 : 30.3. 3h to 28.9. 3h
  207.                          (675 . 5042) ; 1981 : 29.3. 3h to 27.9. 3h
  208.                          (651 . 5018) ; 1982 : 28.3. 3h to 26.9. 3h
  209.                          (627 . 4994) ; 1983 : 27.3. 3h to 25.9. 3h
  210.                          (579 . 5114) ; 1984 : 25.3. 3h to 30.9. 3h
  211.                          (723 . 5090) ; 1985 : 31.3. 3h to 29.9. 3h
  212.                          (699 . 5066) ; 1986 : 30.3. 3h to 28.9. 3h
  213.                          (675 . 5042) ; 1987 : 29.3. 3h to 27.9. 3h
  214.                          (627 . 4994) ; 1988 : 27.3. 3h to 25.9. 3h
  215.                          (603 . 4970) ; 1989 : 26.3. 3h to 24.9. 3h
  216.                          (579 . 5114) ; 1990 : 25.3. 3h to 30.9. 3h
  217.                          (723 . 5090) ; 1991 : 31.3. 3h to 29.9. 3h
  218.                          (675 . 5042) ; 1992 : 29.3. 3h to 27.9. 3h
  219.                          (651 . 5018) ; 1993 : 28.3. 3h to 26.9. 3h
  220.                          (627 . 4994) ; 1994 : 27.3. 3h to 25.9. 3h
  221.                          (603 . 4970) ; 1995 : 26.3. 3h to 24.9. 3h
  222.                          (723 . 5090) ; 1996 : 31.3. 3h to 29.9. 3h
  223.                          (699 . 5066) ; 1997 : 30.3. 3h to 28.9. 3h
  224.                          (675 . 5042) ; 1998 : 29.3. 3h to 27.9. 3h
  225.                          (651 . 5018) ; 1999 : 28.3. 3h to 26.9. 3h
  226.                          (603 . 4970) ; 2000 : 26.3. 3h to 24.9. 3h
  227.                          (579 . 5114) ; 2001 : 25.3. 3h to 30.9. 3h
  228.                          (723 . 5090) ; 2002 : 31.3. 3h to 29.9. 3h
  229.                          (699 . 5066) ; 2003 : 30.3. 3h to 28.9. 3h
  230.                          (651 . 5018) ; 2004 : 28.3. 3h to 26.9. 3h
  231.                          (627 . 4994) ; 2005 : 27.3. 3h to 25.9. 3h
  232.                          (603 . 4970) ; 2006 : 26.3. 3h to 24.9. 3h
  233.                          (579 . 5114) ; 2007 : 25.3. 3h to 30.9. 3h
  234.                          (699 . 5066) ; 2008 : 30.3. 3h to 28.9. 3h
  235.                          (675 . 5042) ; 2009 : 29.3. 3h to 27.9. 3h
  236.                          (651 . 5018) ; 2010 : 28.3. 3h to 26.9. 3h
  237.                          (627 . 4994) ; 2011 : 27.3. 3h to 25.9. 3h
  238.                          (579 . 5114) ; 2012 : 25.3. 3h to 30.9. 3h
  239.                          (723 . 5090) ; 2013 : 31.3. 3h to 29.9. 3h
  240.                          (699 . 5066) ; 2014 : 30.3. 3h to 28.9. 3h
  241.                          (675 . 5042) ; 2015 : 29.3. 3h to 27.9. 3h
  242.                          (627 . 4994) ; 2016 : 27.3. 3h to 25.9. 3h
  243.                          (603 . 4970) ; 2017 : 26.3. 3h to 24.9. 3h
  244.                          (579 . 5114) ; 2018 : 25.3. 3h to 30.9. 3h
  245.                          (723 . 5090) ; 2019 : 31.3. 3h to 29.9. 3h
  246.                          (675 . 5042) ; 2020 : 29.3. 3h to 27.9. 3h
  247.                         )
  248.                       (- Jahr 1980)
  249.             )) )
  250.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  251.    ) ) )
  252.    ;; Asia:
  253.    (Israel-DST-p (Jahr Jahrtag Stunde)
  254.      (and (<= 1987 Jahr 2020)
  255.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  256.              (Grenzen
  257.                (svref '#(; 3rd Sunday in April 2h to 4th Saturday in August 2h
  258.                          (1178 . 4152) ; 1987 : 19.4. 2h to 21.8. 1h
  259.                          (1130 . 4272) ; 1988 : 17.4. 2h to 26.8. 1h
  260.                          (1106 . 4248) ; 1989 : 16.4. 2h to 25.8. 1h
  261.                          (1082 . 4224) ; 1990 : 15.4. 2h to 24.8. 1h
  262.                          (1226 . 4200) ; 1991 : 21.4. 2h to 23.8. 1h
  263.                          (1178 . 4152) ; 1992 : 19.4. 2h to 21.8. 1h
  264.                          (1154 . 4320) ; 1993 : 18.4. 2h to 28.8. 1h
  265.                          (1130 . 4272) ; 1994 : 17.4. 2h to 26.8. 1h
  266.                          (1106 . 4248) ; 1995 : 16.4. 2h to 25.8. 1h
  267.                          (1226 . 4200) ; 1996 : 21.4. 2h to 23.8. 1h
  268.                          (1202 . 4176) ; 1997 : 20.4. 2h to 22.8. 1h
  269.                          (1178 . 4152) ; 1998 : 19.4. 2h to 21.8. 1h
  270.                          (1154 . 4320) ; 1999 : 18.4. 2h to 28.8. 1h
  271.                          (1106 . 4248) ; 2000 : 16.4. 2h to 25.8. 1h
  272.                          (1082 . 4224) ; 2001 : 15.4. 2h to 24.8. 1h
  273.                          (1226 . 4200) ; 2002 : 21.4. 2h to 23.8. 1h
  274.                          (1202 . 4176) ; 2003 : 20.4. 2h to 22.8. 1h
  275.                          (1154 . 4320) ; 2004 : 18.4. 2h to 28.8. 1h
  276.                          (1130 . 4272) ; 2005 : 17.4. 2h to 26.8. 1h
  277.                          (1106 . 4248) ; 2006 : 16.4. 2h to 25.8. 1h
  278.                          (1082 . 4224) ; 2007 : 15.4. 2h to 24.8. 1h
  279.                          (1202 . 4176) ; 2008 : 20.4. 2h to 22.8. 1h
  280.                          (1178 . 4152) ; 2009 : 19.4. 2h to 21.8. 1h
  281.                          (1154 . 4320) ; 2010 : 18.4. 2h to 28.8. 1h
  282.                          (1130 . 4272) ; 2011 : 17.4. 2h to 26.8. 1h
  283.                          (1082 . 4224) ; 2012 : 15.4. 2h to 24.8. 1h
  284.                          (1226 . 4200) ; 2013 : 21.4. 2h to 23.8. 1h
  285.                          (1202 . 4176) ; 2014 : 20.4. 2h to 22.8. 1h
  286.                          (1178 . 4152) ; 2015 : 19.4. 2h to 21.8. 1h
  287.                          (1130 . 4272) ; 2016 : 17.4. 2h to 26.8. 1h
  288.                          (1106 . 4248) ; 2017 : 16.4. 2h to 25.8. 1h
  289.                          (1082 . 4224) ; 2018 : 15.4. 2h to 24.8. 1h
  290.                          (1226 . 4200) ; 2019 : 21.4. 2h to 23.8. 1h
  291.                          (1178 . 4152) ; 2020 : 19.4. 2h to 21.8. 1h
  292.                         )
  293.                       (- Jahr 1987)
  294.             )) )
  295.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  296.    ) ) )
  297.    (Iran-DST-p (Jahr Jahrtag Stunde)
  298.      (and (<= 1988 Jahr 2020)
  299.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  300.              (Grenzen
  301.                (svref '#(; last Sunday in March 2h to 3rd Sunday in September 2h
  302.                          (626 . 4824) ; 1988 : 27.3. 2h to 18.9. 1h
  303.                          (602 . 4800) ; 1989 : 26.3. 2h to 17.9. 1h
  304.                          (578 . 4776) ; 1990 : 25.3. 2h to 16.9. 1h
  305.                          (722 . 4752) ; 1991 : 31.3. 2h to 15.9. 1h
  306.                          (674 . 4872) ; 1992 : 29.3. 2h to 20.9. 1h
  307.                          (650 . 4848) ; 1993 : 28.3. 2h to 19.9. 1h
  308.                          (626 . 4824) ; 1994 : 27.3. 2h to 18.9. 1h
  309.                          (602 . 4800) ; 1995 : 26.3. 2h to 17.9. 1h
  310.                          (722 . 4752) ; 1996 : 31.3. 2h to 15.9. 1h
  311.                          (698 . 4896) ; 1997 : 30.3. 2h to 21.9. 1h
  312.                          (674 . 4872) ; 1998 : 29.3. 2h to 20.9. 1h
  313.                          (650 . 4848) ; 1999 : 28.3. 2h to 19.9. 1h
  314.                          (602 . 4800) ; 2000 : 26.3. 2h to 17.9. 1h
  315.                          (578 . 4776) ; 2001 : 25.3. 2h to 16.9. 1h
  316.                          (722 . 4752) ; 2002 : 31.3. 2h to 15.9. 1h
  317.                          (698 . 4896) ; 2003 : 30.3. 2h to 21.9. 1h
  318.                          (650 . 4848) ; 2004 : 28.3. 2h to 19.9. 1h
  319.                          (626 . 4824) ; 2005 : 27.3. 2h to 18.9. 1h
  320.                          (602 . 4800) ; 2006 : 26.3. 2h to 17.9. 1h
  321.                          (578 . 4776) ; 2007 : 25.3. 2h to 16.9. 1h
  322.                          (698 . 4896) ; 2008 : 30.3. 2h to 21.9. 1h
  323.                          (674 . 4872) ; 2009 : 29.3. 2h to 20.9. 1h
  324.                          (650 . 4848) ; 2010 : 28.3. 2h to 19.9. 1h
  325.                          (626 . 4824) ; 2011 : 27.3. 2h to 18.9. 1h
  326.                          (578 . 4776) ; 2012 : 25.3. 2h to 16.9. 1h
  327.                          (722 . 4752) ; 2013 : 31.3. 2h to 15.9. 1h
  328.                          (698 . 4896) ; 2014 : 30.3. 2h to 21.9. 1h
  329.                          (674 . 4872) ; 2015 : 29.3. 2h to 20.9. 1h
  330.                          (626 . 4824) ; 2016 : 27.3. 2h to 18.9. 1h
  331.                          (602 . 4800) ; 2017 : 26.3. 2h to 17.9. 1h
  332.                          (578 . 4776) ; 2018 : 25.3. 2h to 16.9. 1h
  333.                          (722 . 4752) ; 2019 : 31.3. 2h to 15.9. 1h
  334.                          (674 . 4872) ; 2020 : 29.3. 2h to 20.9. 1h
  335.                         )
  336.                       (- Jahr 1988)
  337.             )) )
  338.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  339.    ) ) )
  340.    (ROK-DST-p (Jahr Jahrtag Stunde)
  341.      (and (<= 1987 Jahr 2020)
  342.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  343.              (Grenzen
  344.                (svref '#(; 2nd Sunday in May 2h to 2nd Sunday in October 2h
  345.                          (1682 . 5376) ; 1987 : 10.5. 2h to 11.10. 2h
  346.                          (1634 . 5328) ; 1988 : 8.5. 2h to 9.10. 2h
  347.                          (1778 . 5304) ; 1989 : 14.5. 2h to 8.10. 2h
  348.                          (1754 . 5448) ; 1990 : 13.5. 2h to 14.10. 2h
  349.                          (1730 . 5424) ; 1991 : 12.5. 2h to 13.10. 2h
  350.                          (1682 . 5376) ; 1992 : 10.5. 2h to 11.10. 2h
  351.                          (1658 . 5352) ; 1993 : 9.5. 2h to 10.10. 2h
  352.                          (1634 . 5328) ; 1994 : 8.5. 2h to 9.10. 2h
  353.                          (1778 . 5304) ; 1995 : 14.5. 2h to 8.10. 2h
  354.                          (1730 . 5424) ; 1996 : 12.5. 2h to 13.10. 2h
  355.                          (1706 . 5400) ; 1997 : 11.5. 2h to 12.10. 2h
  356.                          (1682 . 5376) ; 1998 : 10.5. 2h to 11.10. 2h
  357.                          (1658 . 5352) ; 1999 : 9.5. 2h to 10.10. 2h
  358.                          (1778 . 5304) ; 2000 : 14.5. 2h to 8.10. 2h
  359.                          (1754 . 5448) ; 2001 : 13.5. 2h to 14.10. 2h
  360.                          (1730 . 5424) ; 2002 : 12.5. 2h to 13.10. 2h
  361.                          (1706 . 5400) ; 2003 : 11.5. 2h to 12.10. 2h
  362.                          (1658 . 5352) ; 2004 : 9.5. 2h to 10.10. 2h
  363.                          (1634 . 5328) ; 2005 : 8.5. 2h to 9.10. 2h
  364.                          (1778 . 5304) ; 2006 : 14.5. 2h to 8.10. 2h
  365.                          (1754 . 5448) ; 2007 : 13.5. 2h to 14.10. 2h
  366.                          (1706 . 5400) ; 2008 : 11.5. 2h to 12.10. 2h
  367.                          (1682 . 5376) ; 2009 : 10.5. 2h to 11.10. 2h
  368.                          (1658 . 5352) ; 2010 : 9.5. 2h to 10.10. 2h
  369.                          (1634 . 5328) ; 2011 : 8.5. 2h to 9.10. 2h
  370.                          (1754 . 5448) ; 2012 : 13.5. 2h to 14.10. 2h
  371.                          (1730 . 5424) ; 2013 : 12.5. 2h to 13.10. 2h
  372.                          (1706 . 5400) ; 2014 : 11.5. 2h to 12.10. 2h
  373.                          (1682 . 5376) ; 2015 : 10.5. 2h to 11.10. 2h
  374.                          (1634 . 5328) ; 2016 : 8.5. 2h to 9.10. 2h
  375.                          (1778 . 5304) ; 2017 : 14.5. 2h to 8.10. 2h
  376.                          (1754 . 5448) ; 2018 : 13.5. 2h to 14.10. 2h
  377.                          (1730 . 5424) ; 2019 : 12.5. 2h to 13.10. 2h
  378.                          (1682 . 5376) ; 2020 : 10.5. 2h to 11.10. 2h
  379.                         )
  380.                       (- Jahr 1987)
  381.             )) )
  382.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  383.    ) ) )
  384.    ;; Australia:
  385.    (Australia-Oz-DST-p (Jahr Jahrtag Stunde)
  386.      (when (< Jahrtag 31) ; March?
  387.        (setq Jahrtag (+ Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  388.              Jahr (- Jahr 1)
  389.      ) )
  390.      (and (<= 1971 Jahr 2020)
  391.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  392.              (Grenzen
  393.                (svref '#(; last Sunday in October 2h to 27.2. 2h
  394.                          (5858 . 8713) ; 1971 : 31.10. 2h to 27.2. 2h
  395.                          ; last Sunday in October 2h to first Sunday in March 2h
  396.                          (5810 . 8833) ; 1972 : 29.10. 2h to 4.3. 2h
  397.                          (5786 . 8809) ; 1973 : 28.10. 2h to 3.3. 2h
  398.                          (5762 . 8785) ; 1974 : 27.10. 2h to 2.3. 2h
  399.                          (5738 . 8929) ; 1975 : 26.10. 2h to 7.3. 2h
  400.                          (5858 . 8881) ; 1976 : 31.10. 2h to 6.3. 2h
  401.                          (5834 . 8857) ; 1977 : 30.10. 2h to 5.3. 2h
  402.                          (5810 . 8833) ; 1978 : 29.10. 2h to 4.3. 2h
  403.                          (5786 . 8809) ; 1979 : 28.10. 2h to 2.3. 2h
  404.                          (5738 . 8761) ; 1980 : 26.10. 2h to 1.3. 2h
  405.                          (5714 . 8905) ; 1981 : 25.10. 2h to 7.3. 2h
  406.                          (5858 . 8881) ; 1982 : 31.10. 2h to 6.3. 2h
  407.                          (5834 . 8857) ; 1983 : 30.10. 2h to 4.3. 2h
  408.                          (5786 . 8809) ; 1984 : 28.10. 2h to 3.3. 2h
  409.                          (5762 . 8785) ; 1985 : 27.10. 2h to 2.3. 2h
  410.                          ; next-to-last Sunday in October 2h to third Sunday in March 2h
  411.                          (5570 . 9097) ; 1986 : 19.10. 2h to 15.3. 2h
  412.                          (5546 . 9241) ; 1987 : 18.10. 2h to 20.3. 2h
  413.                          (5666 . 9193) ; 1988 : 23.10. 2h to 19.3. 2h
  414.                          (5642 . 9169) ; 1989 : 22.10. 2h to 18.3. 2h
  415.                          (5618 . 9145) ; 1990 : 21.10. 2h to 17.3. 2h
  416.                          (5594 . 9121) ; 1991 : 20.10. 2h to 15.3. 2h
  417.                          (5546 . 9241) ; 1992 : 18.10. 2h to 21.3. 2h
  418.                          (5690 . 9217) ; 1993 : 24.10. 2h to 20.3. 2h
  419.                          (5666 . 9193) ; 1994 : 23.10. 2h to 19.3. 2h
  420.                          (5642 . 9169) ; 1995 : 22.10. 2h to 17.3. 2h
  421.                          (5594 . 9121) ; 1996 : 20.10. 2h to 16.3. 2h
  422.                          (5570 . 9097) ; 1997 : 19.10. 2h to 15.3. 2h
  423.                          (5546 . 9241) ; 1998 : 18.10. 2h to 21.3. 2h
  424.                          (5690 . 9217) ; 1999 : 24.10. 2h to 19.3. 2h
  425.                          (5642 . 9169) ; 2000 : 22.10. 2h to 18.3. 2h
  426.                          (5618 . 9145) ; 2001 : 21.10. 2h to 17.3. 2h
  427.                          (5594 . 9121) ; 2002 : 20.10. 2h to 16.3. 2h
  428.                          (5570 . 9265) ; 2003 : 19.10. 2h to 21.3. 2h
  429.                          (5690 . 9217) ; 2004 : 24.10. 2h to 20.3. 2h
  430.                          (5666 . 9193) ; 2005 : 23.10. 2h to 19.3. 2h
  431.                          (5642 . 9169) ; 2006 : 22.10. 2h to 18.3. 2h
  432.                          (5618 . 9145) ; 2007 : 21.10. 2h to 16.3. 2h
  433.                          (5570 . 9097) ; 2008 : 19.10. 2h to 15.3. 2h
  434.                          (5546 . 9241) ; 2009 : 18.10. 2h to 21.3. 2h
  435.                          (5690 . 9217) ; 2010 : 24.10. 2h to 20.3. 2h
  436.                          (5666 . 9193) ; 2011 : 23.10. 2h to 18.3. 2h
  437.                          (5618 . 9145) ; 2012 : 21.10. 2h to 17.3. 2h
  438.                          (5594 . 9121) ; 2013 : 20.10. 2h to 16.3. 2h
  439.                          (5570 . 9097) ; 2014 : 19.10. 2h to 15.3. 2h
  440.                          (5546 . 9241) ; 2015 : 18.10. 2h to 20.3. 2h
  441.                          (5666 . 9193) ; 2016 : 23.10. 2h to 19.3. 2h
  442.                          (5642 . 9169) ; 2017 : 22.10. 2h to 18.3. 2h
  443.                          (5618 . 9145) ; 2018 : 21.10. 2h to 17.3. 2h
  444.                          (5594 . 9121) ; 2019 : 20.10. 2h to 15.3. 2h
  445.                          (5546 . 9241) ; 2020 : 18.10. 2h to 21.3. 2h
  446.                         )
  447.                       (- Jahr 1971)
  448.             )) )
  449.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  450.    ) ) )
  451.    (Australia-Victoria-DST-p (Jahr Jahrtag Stunde)
  452.      (when (< Jahrtag 31) ; March?
  453.        (setq Jahrtag (+ Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  454.              Jahr (- Jahr 1)
  455.      ) )
  456.      (and (<= 1971 Jahr 2020)
  457.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  458.              (Grenzen
  459.                (svref '#(; last Sunday in October 2h to 27.2. 2h
  460.                          (5858 . 8713) ; 1971 : 31.10. 2h to 27.2. 2h
  461.                          ; last Sunday in October 2h to first Sunday in March 2h
  462.                          (5810 . 8833) ; 1972 : 29.10. 2h to 4.3. 2h
  463.                          (5786 . 8809) ; 1973 : 28.10. 2h to 3.3. 2h
  464.                          (5762 . 8785) ; 1974 : 27.10. 2h to 2.3. 2h
  465.                          (5738 . 8929) ; 1975 : 26.10. 2h to 7.3. 2h
  466.                          (5858 . 8881) ; 1976 : 31.10. 2h to 6.3. 2h
  467.                          (5834 . 8857) ; 1977 : 30.10. 2h to 5.3. 2h
  468.                          (5810 . 8833) ; 1978 : 29.10. 2h to 4.3. 2h
  469.                          (5786 . 8809) ; 1979 : 28.10. 2h to 2.3. 2h
  470.                          (5738 . 8761) ; 1980 : 26.10. 2h to 1.3. 2h
  471.                          (5714 . 8905) ; 1981 : 25.10. 2h to 7.3. 2h
  472.                          (5858 . 8881) ; 1982 : 31.10. 2h to 6.3. 2h
  473.                          (5834 . 8857) ; 1983 : 30.10. 2h to 4.3. 2h
  474.                          (5786 . 8809) ; 1984 : 28.10. 2h to 3.3. 2h
  475.                          (5762 . 9121) ; 1985 : 27.10. 2h to 16.3. 2h
  476.                          ; next-to-last Sunday in October 2h to third Sunday in March 2h
  477.                          (5570 . 9097) ; 1986 : 19.10. 2h to 15.3. 2h
  478.                          (5546 . 9241) ; 1987 : 18.10. 2h to 20.3. 2h
  479.                          (5666 . 9193) ; 1988 : 23.10. 2h to 19.3. 2h
  480.                          (5642 . 9169) ; 1989 : 22.10. 2h to 18.3. 2h
  481.                          (5618 . 9145) ; 1990 : 21.10. 2h to 17.3. 2h
  482.                          (5594 . 9121) ; 1991 : 20.10. 2h to 15.3. 2h
  483.                          (5546 . 9241) ; 1992 : 18.10. 2h to 21.3. 2h
  484.                          (5690 . 9217) ; 1993 : 24.10. 2h to 20.3. 2h
  485.                          (5666 . 9193) ; 1994 : 23.10. 2h to 19.3. 2h
  486.                          (5642 . 9169) ; 1995 : 22.10. 2h to 17.3. 2h
  487.                          (5594 . 9121) ; 1996 : 20.10. 2h to 16.3. 2h
  488.                          (5570 . 9097) ; 1997 : 19.10. 2h to 15.3. 2h
  489.                          (5546 . 9241) ; 1998 : 18.10. 2h to 21.3. 2h
  490.                          (5690 . 9217) ; 1999 : 24.10. 2h to 19.3. 2h
  491.                          (5642 . 9169) ; 2000 : 22.10. 2h to 18.3. 2h
  492.                          (5618 . 9145) ; 2001 : 21.10. 2h to 17.3. 2h
  493.                          (5594 . 9121) ; 2002 : 20.10. 2h to 16.3. 2h
  494.                          (5570 . 9265) ; 2003 : 19.10. 2h to 21.3. 2h
  495.                          (5690 . 9217) ; 2004 : 24.10. 2h to 20.3. 2h
  496.                          (5666 . 9193) ; 2005 : 23.10. 2h to 19.3. 2h
  497.                          (5642 . 9169) ; 2006 : 22.10. 2h to 18.3. 2h
  498.                          (5618 . 9145) ; 2007 : 21.10. 2h to 16.3. 2h
  499.                          (5570 . 9097) ; 2008 : 19.10. 2h to 15.3. 2h
  500.                          (5546 . 9241) ; 2009 : 18.10. 2h to 21.3. 2h
  501.                          (5690 . 9217) ; 2010 : 24.10. 2h to 20.3. 2h
  502.                          (5666 . 9193) ; 2011 : 23.10. 2h to 18.3. 2h
  503.                          (5618 . 9145) ; 2012 : 21.10. 2h to 17.3. 2h
  504.                          (5594 . 9121) ; 2013 : 20.10. 2h to 16.3. 2h
  505.                          (5570 . 9097) ; 2014 : 19.10. 2h to 15.3. 2h
  506.                          (5546 . 9241) ; 2015 : 18.10. 2h to 20.3. 2h
  507.                          (5666 . 9193) ; 2016 : 23.10. 2h to 19.3. 2h
  508.                          (5642 . 9169) ; 2017 : 22.10. 2h to 18.3. 2h
  509.                          (5618 . 9145) ; 2018 : 21.10. 2h to 17.3. 2h
  510.                          (5594 . 9121) ; 2019 : 20.10. 2h to 15.3. 2h
  511.                          (5546 . 9241) ; 2020 : 18.10. 2h to 21.3. 2h
  512.                         )
  513.                       (- Jahr 1971)
  514.             )) )
  515.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  516.    ) ) )
  517.    (Australia-NSW-DST-p (Jahr Jahrtag Stunde)
  518.      (when (< Jahrtag 61) ; March or April?
  519.        (setq Jahrtag (+ Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  520.              Jahr (- Jahr 1)
  521.      ) )
  522.      (and (<= 1971 Jahr 2020)
  523.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  524.              (Grenzen
  525.                (svref '#(; last Sunday in October 2h to 27.2. 2h
  526.                          (5858 . 8713) ; 1971 : 31.10. 2h to 27.2. 2h
  527.                          ; last Sunday in October 2h to first Sunday in March 2h
  528.                          (5810 . 8833) ; 1972 : 29.10. 2h to 4.3. 2h
  529.                          (5786 . 8809) ; 1973 : 28.10. 2h to 3.3. 2h
  530.                          (5762 . 8785) ; 1974 : 27.10. 2h to 2.3. 2h
  531.                          (5738 . 8929) ; 1975 : 26.10. 2h to 7.3. 2h
  532.                          (5858 . 8881) ; 1976 : 31.10. 2h to 6.3. 2h
  533.                          (5834 . 8857) ; 1977 : 30.10. 2h to 5.3. 2h
  534.                          (5810 . 8833) ; 1978 : 29.10. 2h to 4.3. 2h
  535.                          (5786 . 8809) ; 1979 : 28.10. 2h to 2.3. 2h
  536.                          (5738 . 8761) ; 1980 : 26.10. 2h to 1.3. 2h
  537.                          (5714 . 9577) ; 1981 : 25.10. 2h to 4.4. 2h
  538.                          (5858 . 8881) ; 1982 : 31.10. 2h to 6.3. 2h
  539.                          (5834 . 8857) ; 1983 : 30.10. 2h to 4.3. 2h
  540.                          (5786 . 8809) ; 1984 : 28.10. 2h to 3.3. 2h
  541.                          (5762 . 9121) ; 1985 : 27.10. 2h to 16.3. 2h
  542.                          ; next-to-last Sunday in October 2h to third Sunday in March 2h
  543.                          (5570 . 9097) ; 1986 : 19.10. 2h to 15.3. 2h
  544.                          ; last Sunday in October 2h to third Sunday in March 2h
  545.                          (5714 . 9241) ; 1987 : 25.10. 2h to 20.3. 2h
  546.                          (5834 . 9193) ; 1988 : 30.10. 2h to 19.3. 2h
  547.                          (5810 . 9169) ; 1989 : 29.10. 2h to 18.3. 2h
  548.                          (5786 . 9145) ; 1990 : 28.10. 2h to 17.3. 2h
  549.                          (5762 . 9121) ; 1991 : 27.10. 2h to 15.3. 2h
  550.                          (5714 . 9241) ; 1992 : 25.10. 2h to 21.3. 2h
  551.                          (5858 . 9217) ; 1993 : 31.10. 2h to 20.3. 2h
  552.                          (5834 . 9193) ; 1994 : 30.10. 2h to 19.3. 2h
  553.                          (5810 . 9169) ; 1995 : 29.10. 2h to 17.3. 2h
  554.                          (5762 . 9121) ; 1996 : 27.10. 2h to 16.3. 2h
  555.                          (5738 . 9097) ; 1997 : 26.10. 2h to 15.3. 2h
  556.                          (5714 . 9241) ; 1998 : 25.10. 2h to 21.3. 2h
  557.                          (5858 . 9217) ; 1999 : 31.10. 2h to 19.3. 2h
  558.                          (5810 . 9169) ; 2000 : 29.10. 2h to 18.3. 2h
  559.                          (5786 . 9145) ; 2001 : 28.10. 2h to 17.3. 2h
  560.                          (5762 . 9121) ; 2002 : 27.10. 2h to 16.3. 2h
  561.                          (5738 . 9265) ; 2003 : 26.10. 2h to 21.3. 2h
  562.                          (5858 . 9217) ; 2004 : 31.10. 2h to 20.3. 2h
  563.                          (5834 . 9193) ; 2005 : 30.10. 2h to 19.3. 2h
  564.                          (5810 . 9169) ; 2006 : 29.10. 2h to 18.3. 2h
  565.                          (5786 . 9145) ; 2007 : 28.10. 2h to 16.3. 2h
  566.                          (5738 . 9097) ; 2008 : 26.10. 2h to 15.3. 2h
  567.                          (5714 . 9241) ; 2009 : 25.10. 2h to 21.3. 2h
  568.                          (5858 . 9217) ; 2010 : 31.10. 2h to 20.3. 2h
  569.                          (5834 . 9193) ; 2011 : 30.10. 2h to 18.3. 2h
  570.                          (5786 . 9145) ; 2012 : 28.10. 2h to 17.3. 2h
  571.                          (5762 . 9121) ; 2013 : 27.10. 2h to 16.3. 2h
  572.                          (5738 . 9097) ; 2014 : 26.10. 2h to 15.3. 2h
  573.                          (5714 . 9241) ; 2015 : 25.10. 2h to 20.3. 2h
  574.                          (5834 . 9193) ; 2016 : 30.10. 2h to 19.3. 2h
  575.                          (5810 . 9169) ; 2017 : 29.10. 2h to 18.3. 2h
  576.                          (5786 . 9145) ; 2018 : 28.10. 2h to 17.3. 2h
  577.                          (5762 . 9121) ; 2019 : 27.10. 2h to 15.3. 2h
  578.                          (5714 . 9241) ; 2020 : 25.10. 2h to 21.3. 2h
  579.                         )
  580.                       (- Jahr 1971)
  581.             )) )
  582.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  583.    ) ) )
  584.    (NZ-DST-p (Jahr Jahrtag Stunde)
  585.      (when (< Jahrtag 31) ; March?
  586.        (setq Jahrtag (+ Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  587.              Jahr (- Jahr 1)
  588.      ) )
  589.      (and (<= 1974 Jahr 2020)
  590.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  591.              (Grenzen
  592.                (svref '#(; last Sunday in October 2h to first Sunday in March 2h
  593.                          (5762 . 8785) ; 1974 : 27.10. 2h to 2.3. 2h
  594.                          (5738 . 8929) ; 1975 : 26.10. 2h to 7.3. 2h
  595.                          (5858 . 8881) ; 1976 : 31.10. 2h to 6.3. 2h
  596.                          (5834 . 8857) ; 1977 : 30.10. 2h to 5.3. 2h
  597.                          (5810 . 8833) ; 1978 : 29.10. 2h to 4.3. 2h
  598.                          (5786 . 8809) ; 1979 : 28.10. 2h to 2.3. 2h
  599.                          (5738 . 8761) ; 1980 : 26.10. 2h to 1.3. 2h
  600.                          (5714 . 8905) ; 1981 : 25.10. 2h to 7.3. 2h
  601.                          (5858 . 8881) ; 1982 : 31.10. 2h to 6.3. 2h
  602.                          (5834 . 8857) ; 1983 : 30.10. 2h to 4.3. 2h
  603.                          (5786 . 8809) ; 1984 : 28.10. 2h to 3.3. 2h
  604.                          (5762 . 8785) ; 1985 : 27.10. 2h to 2.3. 2h
  605.                          (5738 . 8761) ; 1986 : 26.10. 2h to 1.3. 2h
  606.                          (5714 . 8905) ; 1987 : 25.10. 2h to 6.3. 2h
  607.                          (5834 . 8857) ; 1988 : 30.10. 2h to 5.3. 2h
  608.                          (5810 . 8833) ; 1989 : 29.10. 2h to 4.3. 2h
  609.                          (5786 . 8809) ; 1990 : 28.10. 2h to 3.3. 2h
  610.                          (5762 . 8785) ; 1991 : 27.10. 2h to 1.3. 2h
  611.                          (5714 . 8905) ; 1992 : 25.10. 2h to 7.3. 2h
  612.                          (5858 . 8881) ; 1993 : 31.10. 2h to 6.3. 2h
  613.                          (5834 . 8857) ; 1994 : 30.10. 2h to 5.3. 2h
  614.                          (5810 . 8833) ; 1995 : 29.10. 2h to 3.3. 2h
  615.                          (5762 . 8785) ; 1996 : 27.10. 2h to 2.3. 2h
  616.                          (5738 . 8761) ; 1997 : 26.10. 2h to 1.3. 2h
  617.                          (5714 . 8905) ; 1998 : 25.10. 2h to 7.3. 2h
  618.                          (5858 . 8881) ; 1999 : 31.10. 2h to 5.3. 2h
  619.                          (5810 . 8833) ; 2000 : 29.10. 2h to 4.3. 2h
  620.                          (5786 . 8809) ; 2001 : 28.10. 2h to 3.3. 2h
  621.                          (5762 . 8785) ; 2002 : 27.10. 2h to 2.3. 2h
  622.                          (5738 . 8929) ; 2003 : 26.10. 2h to 7.3. 2h
  623.                          (5858 . 8881) ; 2004 : 31.10. 2h to 6.3. 2h
  624.                          (5834 . 8857) ; 2005 : 30.10. 2h to 5.3. 2h
  625.                          (5810 . 8833) ; 2006 : 29.10. 2h to 4.3. 2h
  626.                          (5786 . 8809) ; 2007 : 28.10. 2h to 2.3. 2h
  627.                          (5738 . 8761) ; 2008 : 26.10. 2h to 1.3. 2h
  628.                          (5714 . 8905) ; 2009 : 25.10. 2h to 7.3. 2h
  629.                          (5858 . 8881) ; 2010 : 31.10. 2h to 6.3. 2h
  630.                          (5834 . 8857) ; 2011 : 30.10. 2h to 4.3. 2h
  631.                          (5786 . 8809) ; 2012 : 28.10. 2h to 3.3. 2h
  632.                          (5762 . 8785) ; 2013 : 27.10. 2h to 2.3. 2h
  633.                          (5738 . 8761) ; 2014 : 26.10. 2h to 1.3. 2h
  634.                          (5714 . 8905) ; 2015 : 25.10. 2h to 6.3. 2h
  635.                          (5834 . 8857) ; 2016 : 30.10. 2h to 5.3. 2h
  636.                          (5810 . 8833) ; 2017 : 29.10. 2h to 4.3. 2h
  637.                          (5786 . 8809) ; 2018 : 28.10. 2h to 3.3. 2h
  638.                          (5762 . 8785) ; 2019 : 27.10. 2h to 1.3. 2h
  639.                          (5714 . 8905) ; 2020 : 25.10. 2h to 7.3. 2h
  640.                         )
  641.                       (- Jahr 1974)
  642.             )) )
  643.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  644.    ) ) )
  645.    ;; Africa:
  646.    (Egypt-DST-p (Jahr Jahrtag Stunde)
  647.      (and (>= Jahr 1960) (not (<= 1981 Jahr 1982))
  648.           ; 1.5. 2h to 1.10. 1h
  649.           (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde)))
  650.             (<= 1466 Jahresstunde 5136)
  651.    ) )    )
  652.    (Libya-DST-p (Jahr Jahrtag Stunde)
  653.      (and (>= Jahr 1982)
  654.           ; 1.4. 2h to 30.9. 1h
  655.           (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde)))
  656.             (<= 746 Jahresstunde 5112)
  657.    ) )    )
  658.    ;; North America:
  659.    (Canada-DST-p (Jahr Jahrtag Stunde)
  660.      (and (<= 1969 Jahr 2020)
  661.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  662.              (Grenzen
  663.                (svref '#(; last Sunday in April 2h to last Sunday in October 2h
  664.                          (1370 . 5736) ; 1969 : 27.4. 2h to 26.10. 1h
  665.                          (1346 . 5712) ; 1970 : 26.4. 2h to 25.10. 1h
  666.                          (1322 . 5856) ; 1971 : 25.4. 2h to 31.10. 1h
  667.                          (1442 . 5808) ; 1972 : 30.4. 2h to 29.10. 1h
  668.                          (1418 . 5784) ; 1973 : 29.4. 2h to 28.10. 1h
  669.                          (1394 . 5760) ; 1974 : 28.4. 2h to 27.10. 1h
  670.                          (1370 . 5736) ; 1975 : 27.4. 2h to 26.10. 1h
  671.                          (1322 . 5856) ; 1976 : 25.4. 2h to 31.10. 1h
  672.                          (1298 . 5832) ; 1977 : 24.4. 2h to 30.10. 1h
  673.                          (1442 . 5808) ; 1978 : 30.4. 2h to 29.10. 1h
  674.                          (1418 . 5784) ; 1979 : 29.4. 2h to 28.10. 1h
  675.                          (1370 . 5736) ; 1980 : 27.4. 2h to 26.10. 1h
  676.                          (1346 . 5712) ; 1981 : 26.4. 2h to 25.10. 1h
  677.                          (1322 . 5856) ; 1982 : 25.4. 2h to 31.10. 1h
  678.                          (1298 . 5832) ; 1983 : 24.4. 2h to 30.10. 1h
  679.                          (1418 . 5784) ; 1984 : 29.4. 2h to 28.10. 1h
  680.                          (1394 . 5760) ; 1985 : 28.4. 2h to 27.10. 1h
  681.                          (1370 . 5736) ; 1986 : 27.4. 2h to 26.10. 1h
  682.                          ; first Sunday in April 2h to last Sunday in October 2h
  683.                          (842 . 5712) ; 1987 : 5.4. 2h to 25.10. 1h
  684.                          (794 . 5832) ; 1988 : 3.4. 2h to 30.10. 1h
  685.                          (770 . 5808) ; 1989 : 2.4. 2h to 29.10. 1h
  686.                          (746 . 5784) ; 1990 : 1.4. 2h to 28.10. 1h
  687.                          (890 . 5760) ; 1991 : 7.4. 2h to 27.10. 1h
  688.                          (842 . 5712) ; 1992 : 5.4. 2h to 25.10. 1h
  689.                          (818 . 5856) ; 1993 : 4.4. 2h to 31.10. 1h
  690.                          (794 . 5832) ; 1994 : 3.4. 2h to 30.10. 1h
  691.                          (770 . 5808) ; 1995 : 2.4. 2h to 29.10. 1h
  692.                          (890 . 5760) ; 1996 : 7.4. 2h to 27.10. 1h
  693.                          (866 . 5736) ; 1997 : 6.4. 2h to 26.10. 1h
  694.                          (842 . 5712) ; 1998 : 5.4. 2h to 25.10. 1h
  695.                          (818 . 5856) ; 1999 : 4.4. 2h to 31.10. 1h
  696.                          (770 . 5808) ; 2000 : 2.4. 2h to 29.10. 1h
  697.                          (746 . 5784) ; 2001 : 1.4. 2h to 28.10. 1h
  698.                          (890 . 5760) ; 2002 : 7.4. 2h to 27.10. 1h
  699.                          (866 . 5736) ; 2003 : 6.4. 2h to 26.10. 1h
  700.                          (818 . 5856) ; 2004 : 4.4. 2h to 31.10. 1h
  701.                          (794 . 5832) ; 2005 : 3.4. 2h to 30.10. 1h
  702.                          (770 . 5808) ; 2006 : 2.4. 2h to 29.10. 1h
  703.                          (746 . 5784) ; 2007 : 1.4. 2h to 28.10. 1h
  704.                          (866 . 5736) ; 2008 : 6.4. 2h to 26.10. 1h
  705.                          (842 . 5712) ; 2009 : 5.4. 2h to 25.10. 1h
  706.                          (818 . 5856) ; 2010 : 4.4. 2h to 31.10. 1h
  707.                          (794 . 5832) ; 2011 : 3.4. 2h to 30.10. 1h
  708.                          (746 . 5784) ; 2012 : 1.4. 2h to 28.10. 1h
  709.                          (890 . 5760) ; 2013 : 7.4. 2h to 27.10. 1h
  710.                          (866 . 5736) ; 2014 : 6.4. 2h to 26.10. 1h
  711.                          (842 . 5712) ; 2015 : 5.4. 2h to 25.10. 1h
  712.                          (794 . 5832) ; 2016 : 3.4. 2h to 30.10. 1h
  713.                          (770 . 5808) ; 2017 : 2.4. 2h to 29.10. 1h
  714.                          (746 . 5784) ; 2018 : 1.4. 2h to 28.10. 1h
  715.                          (890 . 5760) ; 2019 : 7.4. 2h to 27.10. 1h
  716.                          (842 . 5712) ; 2020 : 5.4. 2h to 25.10. 1h
  717.                         )
  718.                       (- Jahr 1969)
  719.             )) )
  720.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  721.    ) ) )
  722.    (Cuba-DST-p (Jahr Jahrtag Stunde)
  723.      (and (<= 1979 Jahr 2020)
  724.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  725.              (Grenzen
  726.                (svref '#(; third Sunday in March 0h to 2nd Sunday in October 0h
  727.                          (408 . 5446) ; 1979 : 18.3. 0h to 13.10. 23h
  728.                          (360 . 5398) ; 1980 : 16.3. 0h to 11.10. 23h
  729.                          ; 2nd Sunday in May 0h to 2nd Sunday in October 0h
  730.                          (1680 . 5374) ; 1981 : 10.5. 0h to 10.10. 23h
  731.                          (1656 . 5350) ; 1982 : 9.5. 0h to 9.10. 23h
  732.                          (1632 . 5326) ; 1983 : 8.5. 0h to 8.10. 23h
  733.                          (1752 . 5446) ; 1984 : 13.5. 0h to 13.10. 23h
  734.                          (1728 . 5422) ; 1985 : 12.5. 0h to 12.10. 23h
  735.                          (1704 . 5398) ; 1986 : 11.5. 0h to 11.10. 23h
  736.                          (1680 . 5374) ; 1987 : 10.5. 0h to 10.10. 23h
  737.                          (1632 . 5326) ; 1988 : 8.5. 0h to 8.10. 23h
  738.                          (1776 . 5302) ; 1989 : 14.5. 0h to 7.10. 23h
  739.                          (1752 . 5446) ; 1990 : 13.5. 0h to 13.10. 23h
  740.                          (1728 . 5422) ; 1991 : 12.5. 0h to 12.10. 23h
  741.                          (1680 . 5374) ; 1992 : 10.5. 0h to 10.10. 23h
  742.                          (1656 . 5350) ; 1993 : 9.5. 0h to 9.10. 23h
  743.                          (1632 . 5326) ; 1994 : 8.5. 0h to 8.10. 23h
  744.                          (1776 . 5302) ; 1995 : 14.5. 0h to 7.10. 23h
  745.                          (1728 . 5422) ; 1996 : 12.5. 0h to 12.10. 23h
  746.                          (1704 . 5398) ; 1997 : 11.5. 0h to 11.10. 23h
  747.                          (1680 . 5374) ; 1998 : 10.5. 0h to 10.10. 23h
  748.                          (1656 . 5350) ; 1999 : 9.5. 0h to 9.10. 23h
  749.                          (1776 . 5302) ; 2000 : 14.5. 0h to 7.10. 23h
  750.                          (1752 . 5446) ; 2001 : 13.5. 0h to 13.10. 23h
  751.                          (1728 . 5422) ; 2002 : 12.5. 0h to 12.10. 23h
  752.                          (1704 . 5398) ; 2003 : 11.5. 0h to 11.10. 23h
  753.                          (1656 . 5350) ; 2004 : 9.5. 0h to 9.10. 23h
  754.                          (1632 . 5326) ; 2005 : 8.5. 0h to 8.10. 23h
  755.                          (1776 . 5302) ; 2006 : 14.5. 0h to 7.10. 23h
  756.                          (1752 . 5446) ; 2007 : 13.5. 0h to 13.10. 23h
  757.                          (1704 . 5398) ; 2008 : 11.5. 0h to 11.10. 23h
  758.                          (1680 . 5374) ; 2009 : 10.5. 0h to 10.10. 23h
  759.                          (1656 . 5350) ; 2010 : 9.5. 0h to 9.10. 23h
  760.                          (1632 . 5326) ; 2011 : 8.5. 0h to 8.10. 23h
  761.                          (1752 . 5446) ; 2012 : 13.5. 0h to 13.10. 23h
  762.                          (1728 . 5422) ; 2013 : 12.5. 0h to 12.10. 23h
  763.                          (1704 . 5398) ; 2014 : 11.5. 0h to 11.10. 23h
  764.                          (1680 . 5374) ; 2015 : 10.5. 0h to 10.10. 23h
  765.                          (1632 . 5326) ; 2016 : 8.5. 0h to 8.10. 23h
  766.                          (1776 . 5302) ; 2017 : 14.5. 0h to 7.10. 23h
  767.                          (1752 . 5446) ; 2018 : 13.5. 0h to 13.10. 23h
  768.                          (1728 . 5422) ; 2019 : 12.5. 0h to 12.10. 23h
  769.                          (1680 . 5374) ; 2020 : 10.5. 0h to 10.10. 23h
  770.                         )
  771.                       (- Jahr 1979)
  772.             )) )
  773.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  774.    ) ) )
  775.    (Mexico-DST-p (Jahr Jahrtag Stunde)
  776.      (and (<= 1987 Jahr 2020)
  777.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  778.              (Grenzen
  779.                (svref '#(; first Sunday in April 2h to last Sunday in October 2h
  780.                          (842 . 5712) ; 1987 : 5.4. 2h to 25.10. 1h
  781.                          (794 . 5832) ; 1988 : 3.4. 2h to 30.10. 1h
  782.                          (770 . 5808) ; 1989 : 2.4. 2h to 29.10. 1h
  783.                          (746 . 5784) ; 1990 : 1.4. 2h to 28.10. 1h
  784.                          (890 . 5760) ; 1991 : 7.4. 2h to 27.10. 1h
  785.                          (842 . 5712) ; 1992 : 5.4. 2h to 25.10. 1h
  786.                          (818 . 5856) ; 1993 : 4.4. 2h to 31.10. 1h
  787.                          (794 . 5832) ; 1994 : 3.4. 2h to 30.10. 1h
  788.                          (770 . 5808) ; 1995 : 2.4. 2h to 29.10. 1h
  789.                          (890 . 5760) ; 1996 : 7.4. 2h to 27.10. 1h
  790.                          (866 . 5736) ; 1997 : 6.4. 2h to 26.10. 1h
  791.                          (842 . 5712) ; 1998 : 5.4. 2h to 25.10. 1h
  792.                          (818 . 5856) ; 1999 : 4.4. 2h to 31.10. 1h
  793.                          (770 . 5808) ; 2000 : 2.4. 2h to 29.10. 1h
  794.                          (746 . 5784) ; 2001 : 1.4. 2h to 28.10. 1h
  795.                          (890 . 5760) ; 2002 : 7.4. 2h to 27.10. 1h
  796.                          (866 . 5736) ; 2003 : 6.4. 2h to 26.10. 1h
  797.                          (818 . 5856) ; 2004 : 4.4. 2h to 31.10. 1h
  798.                          (794 . 5832) ; 2005 : 3.4. 2h to 30.10. 1h
  799.                          (770 . 5808) ; 2006 : 2.4. 2h to 29.10. 1h
  800.                          (746 . 5784) ; 2007 : 1.4. 2h to 28.10. 1h
  801.                          (866 . 5736) ; 2008 : 6.4. 2h to 26.10. 1h
  802.                          (842 . 5712) ; 2009 : 5.4. 2h to 25.10. 1h
  803.                          (818 . 5856) ; 2010 : 4.4. 2h to 31.10. 1h
  804.                          (794 . 5832) ; 2011 : 3.4. 2h to 30.10. 1h
  805.                          (746 . 5784) ; 2012 : 1.4. 2h to 28.10. 1h
  806.                          (890 . 5760) ; 2013 : 7.4. 2h to 27.10. 1h
  807.                          (866 . 5736) ; 2014 : 6.4. 2h to 26.10. 1h
  808.                          (842 . 5712) ; 2015 : 5.4. 2h to 25.10. 1h
  809.                          (794 . 5832) ; 2016 : 3.4. 2h to 30.10. 1h
  810.                          (770 . 5808) ; 2017 : 2.4. 2h to 29.10. 1h
  811.                          (746 . 5784) ; 2018 : 1.4. 2h to 28.10. 1h
  812.                          (890 . 5760) ; 2019 : 7.4. 2h to 27.10. 1h
  813.                          (842 . 5712) ; 2020 : 5.4. 2h to 25.10. 1h
  814.                         )
  815.                       (- Jahr 1987)
  816.             )) )
  817.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  818.    ) ) )
  819.    (US-DST-p (Jahr Jahrtag Stunde)
  820.      (when (>= Jahrtag 306) ; January or February?
  821.        (setq Jahr (+ Jahr 1)
  822.              Jahrtag (- Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  823.      ) )
  824.      (and (<= 1967 Jahr 2020)
  825.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  826.              (Grenzen
  827.                (svref '#(; last Sunday in April 2h to last Sunday in October 2h
  828.                          (1442 . 5808) ; 1967 : 30.4. 2h to 29.10. 1h
  829.                          (1394 . 5760) ; 1968 : 28.4. 2h to 27.10. 1h
  830.                          (1370 . 5736) ; 1969 : 27.4. 2h to 26.10. 1h
  831.                          (1346 . 5712) ; 1970 : 26.4. 2h to 25.10. 1h
  832.                          (1322 . 5856) ; 1971 : 25.4. 2h to 31.10. 1h
  833.                          (1442 . 5808) ; 1972 : 30.4. 2h to 29.10. 1h
  834.                          (1418 . 5784) ; 1973 : 29.4. 2h to 28.10. 1h
  835.                          ; 6.1. 2h to last Sunday in October 2h
  836.                          (-1294 . 5760) ; 1974 : 6.1. 2h to 27.10. 1h
  837.                          ; 23.2. 2h to last Sunday in October 2h
  838.                          (-142 . 5736) ; 1975 : 23.2. 2h to 26.10. 1h
  839.                          ; last Sunday in April 2h to last Sunday in October 2h
  840.                          (1322 . 5856) ; 1976 : 25.4. 2h to 31.10. 1h
  841.                          (1298 . 5832) ; 1977 : 24.4. 2h to 30.10. 1h
  842.                          (1442 . 5808) ; 1978 : 30.4. 2h to 29.10. 1h
  843.                          (1418 . 5784) ; 1979 : 29.4. 2h to 28.10. 1h
  844.                          (1370 . 5736) ; 1980 : 27.4. 2h to 26.10. 1h
  845.                          (1346 . 5712) ; 1981 : 26.4. 2h to 25.10. 1h
  846.                          (1322 . 5856) ; 1982 : 25.4. 2h to 31.10. 1h
  847.                          (1298 . 5832) ; 1983 : 24.4. 2h to 30.10. 1h
  848.                          (1418 . 5784) ; 1984 : 29.4. 2h to 28.10. 1h
  849.                          (1394 . 5760) ; 1985 : 28.4. 2h to 27.10. 1h
  850.                          (1370 . 5736) ; 1986 : 27.4. 2h to 26.10. 1h
  851.                          ; first Sunday in April 2h to last Sunday in October 2h
  852.                          (842 . 5712) ; 1987 : 5.4. 2h to 25.10. 1h
  853.                          (794 . 5832) ; 1988 : 3.4. 2h to 30.10. 1h
  854.                          (770 . 5808) ; 1989 : 2.4. 2h to 29.10. 1h
  855.                          (746 . 5784) ; 1990 : 1.4. 2h to 28.10. 1h
  856.                          (890 . 5760) ; 1991 : 7.4. 2h to 27.10. 1h
  857.                          (842 . 5712) ; 1992 : 5.4. 2h to 25.10. 1h
  858.                          (818 . 5856) ; 1993 : 4.4. 2h to 31.10. 1h
  859.                          (794 . 5832) ; 1994 : 3.4. 2h to 30.10. 1h
  860.                          (770 . 5808) ; 1995 : 2.4. 2h to 29.10. 1h
  861.                          (890 . 5760) ; 1996 : 7.4. 2h to 27.10. 1h
  862.                          (866 . 5736) ; 1997 : 6.4. 2h to 26.10. 1h
  863.                          (842 . 5712) ; 1998 : 5.4. 2h to 25.10. 1h
  864.                          (818 . 5856) ; 1999 : 4.4. 2h to 31.10. 1h
  865.                          (770 . 5808) ; 2000 : 2.4. 2h to 29.10. 1h
  866.                          (746 . 5784) ; 2001 : 1.4. 2h to 28.10. 1h
  867.                          (890 . 5760) ; 2002 : 7.4. 2h to 27.10. 1h
  868.                          (866 . 5736) ; 2003 : 6.4. 2h to 26.10. 1h
  869.                          (818 . 5856) ; 2004 : 4.4. 2h to 31.10. 1h
  870.                          (794 . 5832) ; 2005 : 3.4. 2h to 30.10. 1h
  871.                          (770 . 5808) ; 2006 : 2.4. 2h to 29.10. 1h
  872.                          (746 . 5784) ; 2007 : 1.4. 2h to 28.10. 1h
  873.                          (866 . 5736) ; 2008 : 6.4. 2h to 26.10. 1h
  874.                          (842 . 5712) ; 2009 : 5.4. 2h to 25.10. 1h
  875.                          (818 . 5856) ; 2010 : 4.4. 2h to 31.10. 1h
  876.                          (794 . 5832) ; 2011 : 3.4. 2h to 30.10. 1h
  877.                          (746 . 5784) ; 2012 : 1.4. 2h to 28.10. 1h
  878.                          (890 . 5760) ; 2013 : 7.4. 2h to 27.10. 1h
  879.                          (866 . 5736) ; 2014 : 6.4. 2h to 26.10. 1h
  880.                          (842 . 5712) ; 2015 : 5.4. 2h to 25.10. 1h
  881.                          (794 . 5832) ; 2016 : 3.4. 2h to 30.10. 1h
  882.                          (770 . 5808) ; 2017 : 2.4. 2h to 29.10. 1h
  883.                          (746 . 5784) ; 2018 : 1.4. 2h to 28.10. 1h
  884.                          (890 . 5760) ; 2019 : 7.4. 2h to 27.10. 1h
  885.                          (842 . 5712) ; 2020 : 5.4. 2h to 25.10. 1h
  886.                         )
  887.                       (- Jahr 1967)
  888.             )) )
  889.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  890.    ) ) )
  891.    (US-Michigan-DST-p (Jahr Jahrtag Stunde)
  892.      (if (<= 1968 Jahr 1972) nil (US-DST-p Jahr Jahrtag Stunde))
  893.    )
  894.    (US-Pacific-New-DST-p (Jahr Jahrtag Stunde)
  895.      (and (<= 1967 Jahr 2020)
  896.        (if (and (>= Jahr 1992) (zerop (mod Jahr 4)))
  897.          ; Twilite-DST-p: DST lasts two (or one) weeks longer since 1992
  898.          (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  899.                (Grenzen
  900.                  (svref '#(; first Sunday in April 2h to Sunday>=7 in November 2h
  901.                            (842 . 6048) ; 1992 : 5.4. 2h to 8.11. 1h
  902.                            (890 . 6096) ; 1996 : 7.4. 2h to 10.11. 1h
  903.                            (770 . 6144) ; 2000 : 2.4. 2h to 12.11. 1h
  904.                            (818 . 6024) ; 2004 : 4.4. 2h to 7.11. 1h
  905.                            (866 . 6072) ; 2008 : 6.4. 2h to 9.11. 1h
  906.                            (746 . 6120) ; 2012 : 1.4. 2h to 11.11. 1h
  907.                            (794 . 6168) ; 2016 : 3.4. 2h to 13.11. 1h
  908.                            (842 . 6048) ; 2020 : 5.4. 2h to 8.11. 1h
  909.                           )
  910.                         (/ (- Jahr 1992) 4)
  911.               )) )
  912.            (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  913.          )
  914.          (US-DST-p Jahr Jahrtag Stunde)
  915.    ) ) )
  916.    (SystemV-DST-p (Jahr Jahrtag Stunde) ; obsolete
  917.      (when (>= Jahrtag 306) ; January or February?
  918.        (setq Jahr (+ Jahr 1)
  919.              Jahrtag (- Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  920.      ) )
  921.      (and (<= 1950 Jahr 2020)
  922.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  923.              (Grenzen
  924.                (svref '#(; last Sunday in April 2h to last Sunday in October 2h
  925.                          (1442 . 5808) ; 1950 : 30.4. 2h to 29.10. 1h
  926.                          (1418 . 5784) ; 1951 : 29.4. 2h to 28.10. 1h
  927.                          (1370 . 5736) ; 1952 : 27.4. 2h to 26.10. 1h
  928.                          (1346 . 5712) ; 1953 : 26.4. 2h to 25.10. 1h
  929.                          (1322 . 5856) ; 1954 : 25.4. 2h to 31.10. 1h
  930.                          (1298 . 5832) ; 1955 : 24.4. 2h to 30.10. 1h
  931.                          (1418 . 5784) ; 1956 : 29.4. 2h to 28.10. 1h
  932.                          (1394 . 5760) ; 1957 : 28.4. 2h to 27.10. 1h
  933.                          (1370 . 5736) ; 1958 : 27.4. 2h to 26.10. 1h
  934.                          (1346 . 5712) ; 1959 : 26.4. 2h to 25.10. 1h
  935.                          (1298 . 5832) ; 1960 : 24.4. 2h to 30.10. 1h
  936.                          (1442 . 5808) ; 1961 : 30.4. 2h to 29.10. 1h
  937.                          (1418 . 5784) ; 1962 : 29.4. 2h to 28.10. 1h
  938.                          (1394 . 5760) ; 1963 : 28.4. 2h to 27.10. 1h
  939.                          (1346 . 5712) ; 1964 : 26.4. 2h to 25.10. 1h
  940.                          (1322 . 5856) ; 1965 : 25.4. 2h to 31.10. 1h
  941.                          (1298 . 5832) ; 1966 : 24.4. 2h to 30.10. 1h
  942.                          (1442 . 5808) ; 1967 : 30.4. 2h to 29.10. 1h
  943.                          (1394 . 5760) ; 1968 : 28.4. 2h to 27.10. 1h
  944.                          (1370 . 5736) ; 1969 : 27.4. 2h to 26.10. 1h
  945.                          (1346 . 5712) ; 1970 : 26.4. 2h to 25.10. 1h
  946.                          (1322 . 5856) ; 1971 : 25.4. 2h to 31.10. 1h
  947.                          (1442 . 5808) ; 1972 : 30.4. 2h to 29.10. 1h
  948.                          (1418 . 5784) ; 1973 : 29.4. 2h to 28.10. 1h
  949.                          ; 6.1. 2h to last Sunday in November 2h
  950.                          (-1294 . 6432) ; 1974 : 6.1. 2h to 24.11. 1h
  951.                          ; 23.2. 2h to last Sunday in October 2h
  952.                          (-142 . 5736) ; 1975 : 23.2. 2h to 26.10. 1h
  953.                          ; last Sunday in April 2h to last Sunday in October 2h
  954.                          (1322 . 5856) ; 1976 : 25.4. 2h to 31.10. 1h
  955.                          (1298 . 5832) ; 1977 : 24.4. 2h to 30.10. 1h
  956.                          (1442 . 5808) ; 1978 : 30.4. 2h to 29.10. 1h
  957.                          (1418 . 5784) ; 1979 : 29.4. 2h to 28.10. 1h
  958.                          (1370 . 5736) ; 1980 : 27.4. 2h to 26.10. 1h
  959.                          (1346 . 5712) ; 1981 : 26.4. 2h to 25.10. 1h
  960.                          (1322 . 5856) ; 1982 : 25.4. 2h to 31.10. 1h
  961.                          (1298 . 5832) ; 1983 : 24.4. 2h to 30.10. 1h
  962.                          (1418 . 5784) ; 1984 : 29.4. 2h to 28.10. 1h
  963.                          (1394 . 5760) ; 1985 : 28.4. 2h to 27.10. 1h
  964.                          (1370 . 5736) ; 1986 : 27.4. 2h to 26.10. 1h
  965.                          (1346 . 5712) ; 1987 : 26.4. 2h to 25.10. 1h
  966.                          (1298 . 5832) ; 1988 : 24.4. 2h to 30.10. 1h
  967.                          (1442 . 5808) ; 1989 : 30.4. 2h to 29.10. 1h
  968.                          (1418 . 5784) ; 1990 : 29.4. 2h to 28.10. 1h
  969.                          (1394 . 5760) ; 1991 : 28.4. 2h to 27.10. 1h
  970.                          (1346 . 5712) ; 1992 : 26.4. 2h to 25.10. 1h
  971.                          (1322 . 5856) ; 1993 : 25.4. 2h to 31.10. 1h
  972.                          (1298 . 5832) ; 1994 : 24.4. 2h to 30.10. 1h
  973.                          (1442 . 5808) ; 1995 : 30.4. 2h to 29.10. 1h
  974.                          (1394 . 5760) ; 1996 : 28.4. 2h to 27.10. 1h
  975.                          (1370 . 5736) ; 1997 : 27.4. 2h to 26.10. 1h
  976.                          (1346 . 5712) ; 1998 : 26.4. 2h to 25.10. 1h
  977.                          (1322 . 5856) ; 1999 : 25.4. 2h to 31.10. 1h
  978.                          (1442 . 5808) ; 2000 : 30.4. 2h to 29.10. 1h
  979.                          (1418 . 5784) ; 2001 : 29.4. 2h to 28.10. 1h
  980.                          (1394 . 5760) ; 2002 : 28.4. 2h to 27.10. 1h
  981.                          (1370 . 5736) ; 2003 : 27.4. 2h to 26.10. 1h
  982.                          (1322 . 5856) ; 2004 : 25.4. 2h to 31.10. 1h
  983.                          (1298 . 5832) ; 2005 : 24.4. 2h to 30.10. 1h
  984.                          (1442 . 5808) ; 2006 : 30.4. 2h to 29.10. 1h
  985.                          (1418 . 5784) ; 2007 : 29.4. 2h to 28.10. 1h
  986.                          (1370 . 5736) ; 2008 : 27.4. 2h to 26.10. 1h
  987.                          (1346 . 5712) ; 2009 : 26.4. 2h to 25.10. 1h
  988.                          (1322 . 5856) ; 2010 : 25.4. 2h to 31.10. 1h
  989.                          (1298 . 5832) ; 2011 : 24.4. 2h to 30.10. 1h
  990.                          (1418 . 5784) ; 2012 : 29.4. 2h to 28.10. 1h
  991.                          (1394 . 5760) ; 2013 : 28.4. 2h to 27.10. 1h
  992.                          (1370 . 5736) ; 2014 : 27.4. 2h to 26.10. 1h
  993.                          (1346 . 5712) ; 2015 : 26.4. 2h to 25.10. 1h
  994.                          (1298 . 5832) ; 2016 : 24.4. 2h to 30.10. 1h
  995.                          (1442 . 5808) ; 2017 : 30.4. 2h to 29.10. 1h
  996.                          (1418 . 5784) ; 2018 : 29.4. 2h to 28.10. 1h
  997.                          (1394 . 5760) ; 2019 : 28.4. 2h to 27.10. 1h
  998.                          (1346 . 5712) ; 2020 : 26.4. 2h to 25.10. 1h
  999.                         )
  1000.                       (- Jahr 1950)
  1001.             )) )
  1002.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  1003.    ) ) )
  1004.    ;; South America:
  1005.    (Brazil-DST-p (Jahr Jahrtag Stunde)
  1006.      (and (<= 1987 Jahr 2020)
  1007.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  1008.              (Grenzen
  1009.                (svref '#(; 4th Saturday in October 2h to 2nd Saturday in February 2h
  1010.                          (5666 . 8352) ; 1987 : 23.10. 2h to 12.2. 1h
  1011.                          (5618 . 8304) ; 1988 : 21.10. 2h to 10.2. 1h
  1012.                          (5786 . 8280) ; 1989 : 28.10. 2h to 9.2. 1h
  1013.                          (5738 . 8256) ; 1990 : 26.10. 2h to 8.2. 1h
  1014.                          (5714 . 8232) ; 1991 : 25.10. 2h to 7.2. 1h
  1015.                          (5666 . 8352) ; 1992 : 23.10. 2h to 12.2. 1h
  1016.                          (5642 . 8328) ; 1993 : 22.10. 2h to 11.2. 1h
  1017.                          (5618 . 8304) ; 1994 : 21.10. 2h to 10.2. 1h
  1018.                          (5786 . 8280) ; 1995 : 28.10. 2h to 9.2. 1h
  1019.                          (5714 . 8232) ; 1996 : 25.10. 2h to 7.2. 1h
  1020.                          (5690 . 8400) ; 1997 : 24.10. 2h to 14.2. 1h
  1021.                          (5666 . 8352) ; 1998 : 23.10. 2h to 12.2. 1h
  1022.                          (5642 . 8328) ; 1999 : 22.10. 2h to 11.2. 1h
  1023.                          (5786 . 8280) ; 2000 : 28.10. 2h to 9.2. 1h
  1024.                          (5738 . 8256) ; 2001 : 26.10. 2h to 8.2. 1h
  1025.                          (5714 . 8232) ; 2002 : 25.10. 2h to 7.2. 1h
  1026.                          (5690 . 8400) ; 2003 : 24.10. 2h to 14.2. 1h
  1027.                          (5642 . 8328) ; 2004 : 22.10. 2h to 11.2. 1h
  1028.                          (5618 . 8304) ; 2005 : 21.10. 2h to 10.2. 1h
  1029.                          (5786 . 8280) ; 2006 : 28.10. 2h to 9.2. 1h
  1030.                          (5738 . 8256) ; 2007 : 26.10. 2h to 8.2. 1h
  1031.                          (5690 . 8400) ; 2008 : 24.10. 2h to 14.2. 1h
  1032.                          (5666 . 8352) ; 2009 : 23.10. 2h to 12.2. 1h
  1033.                          (5642 . 8328) ; 2010 : 22.10. 2h to 11.2. 1h
  1034.                          (5618 . 8304) ; 2011 : 21.10. 2h to 10.2. 1h
  1035.                          (5738 . 8256) ; 2012 : 26.10. 2h to 8.2. 1h
  1036.                          (5714 . 8232) ; 2013 : 25.10. 2h to 7.2. 1h
  1037.                          (5690 . 8400) ; 2014 : 24.10. 2h to 14.2. 1h
  1038.                          (5666 . 8352) ; 2015 : 23.10. 2h to 12.2. 1h
  1039.                          (5618 . 8304) ; 2016 : 21.10. 2h to 10.2. 1h
  1040.                          (5786 . 8280) ; 2017 : 28.10. 2h to 9.2. 1h
  1041.                          (5738 . 8256) ; 2018 : 26.10. 2h to 8.2. 1h
  1042.                          (5714 . 8232) ; 2019 : 25.10. 2h to 7.2. 1h
  1043.                          (5666 . 8352) ; 2020 : 23.10. 2h to 12.2. 1h
  1044.                         )
  1045.                       (- Jahr 1987)
  1046.             )) )
  1047.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  1048.    ) ) )
  1049.    (Chile-DST-p (Jahr Jahrtag Stunde)
  1050.      (when (< Jahrtag 31) ; March?
  1051.        (setq Jahrtag (+ Jahrtag (- (UTag Jahr) (UTag (- Jahr 1))))
  1052.              Jahr (- Jahr 1)
  1053.      ) )
  1054.      (and (<= 1977 Jahr 2020)
  1055.        (let ((Jahresstunde (+ (* 24 Jahrtag) Stunde))
  1056.              (Grenzen
  1057.                (svref '#(; 2nd Sunday in October 0h to 2nd Sunday in March 0h
  1058.                          (5328 . 9022) ; 1977 : 9.10. 0h to 11.3. 23h
  1059.                          (5304 . 8998) ; 1978 : 8.10. 0h to 10.3. 23h
  1060.                          (5448 . 8974) ; 1979 : 14.10. 0h to 8.3. 23h
  1061.                          (5400 . 8926) ; 1980 : 12.10. 0h to 7.3. 23h
  1062.                          (5376 . 9070) ; 1981 : 11.10. 0h to 13.3. 23h
  1063.                          (5352 . 9046) ; 1982 : 10.10. 0h to 12.3. 23h
  1064.                          (5328 . 9022) ; 1983 : 9.10. 0h to 10.3. 23h
  1065.                          (5448 . 8974) ; 1984 : 14.10. 0h to 9.3. 23h
  1066.                          (5424 . 8950) ; 1985 : 13.10. 0h to 8.3. 23h
  1067.                          (5400 . 8926) ; 1986 : 12.10. 0h to 7.3. 23h
  1068.                          (5376 . 9070) ; 1987 : 11.10. 0h to 12.3. 23h
  1069.                          (5328 . 9022) ; 1988 : 9.10. 0h to 11.3. 23h
  1070.                          (5304 . 8998) ; 1989 : 8.10. 0h to 10.3. 23h
  1071.                          (5448 . 8974) ; 1990 : 14.10. 0h to 9.3. 23h
  1072.                          (5424 . 8950) ; 1991 : 13.10. 0h to 7.3. 23h
  1073.                          (5376 . 9070) ; 1992 : 11.10. 0h to 13.3. 23h
  1074.                          (5352 . 9046) ; 1993 : 10.10. 0h to 12.3. 23h
  1075.                          (5328 . 9022) ; 1994 : 9.10. 0h to 11.3. 23h
  1076.                          (5304 . 8998) ; 1995 : 8.10. 0h to 9.3. 23h
  1077.                          (5424 . 8950) ; 1996 : 13.10. 0h to 8.3. 23h
  1078.                          (5400 . 8926) ; 1997 : 12.10. 0h to 7.3. 23h
  1079.                          (5376 . 9070) ; 1998 : 11.10. 0h to 13.3. 23h
  1080.                          (5352 . 9046) ; 1999 : 10.10. 0h to 11.3. 23h
  1081.                          (5304 . 8998) ; 2000 : 8.10. 0h to 10.3. 23h
  1082.                          (5448 . 8974) ; 2001 : 14.10. 0h to 9.3. 23h
  1083.                          (5424 . 8950) ; 2002 : 13.10. 0h to 8.3. 23h
  1084.                          (5400 . 9094) ; 2003 : 12.10. 0h to 13.3. 23h
  1085.                          (5352 . 9046) ; 2004 : 10.10. 0h to 12.3. 23h
  1086.                          (5328 . 9022) ; 2005 : 9.10. 0h to 11.3. 23h
  1087.                          (5304 . 8998) ; 2006 : 8.10. 0h to 10.3. 23h
  1088.                          (5448 . 8974) ; 2007 : 14.10. 0h to 8.3. 23h
  1089.                          (5400 . 8926) ; 2008 : 12.10. 0h to 7.3. 23h
  1090.                          (5376 . 9070) ; 2009 : 11.10. 0h to 13.3. 23h
  1091.                          (5352 . 9046) ; 2010 : 10.10. 0h to 12.3. 23h
  1092.                          (5328 . 9022) ; 2011 : 9.10. 0h to 10.3. 23h
  1093.                          (5448 . 8974) ; 2012 : 14.10. 0h to 9.3. 23h
  1094.                          (5424 . 8950) ; 2013 : 13.10. 0h to 8.3. 23h
  1095.                          (5400 . 8926) ; 2014 : 12.10. 0h to 7.3. 23h
  1096.                          (5376 . 9070) ; 2015 : 11.10. 0h to 12.3. 23h
  1097.                          (5328 . 9022) ; 2016 : 9.10. 0h to 11.3. 23h
  1098.                          (5304 . 8998) ; 2017 : 8.10. 0h to 10.3. 23h
  1099.                          (5448 . 8974) ; 2018 : 14.10. 0h to 9.3. 23h
  1100.                          (5424 . 8950) ; 2019 : 13.10. 0h to 7.3. 23h
  1101.                          (5376 . 9070) ; 2020 : 11.10. 0h to 13.3. 23h
  1102.                         )
  1103.                       (- Jahr 1977)
  1104.             )) )
  1105.          (<= (car Grenzen) Jahresstunde (cdr Grenzen))
  1106.    ) ) )
  1107.   )
  1108.   (labels
  1109.     (;; ==================== LIST OF AVAILABLE TIME ZONES ====================
  1110.      (Australia-LHI () (values -21/2 #'Australia-NSW-DST-p))
  1111.      (Australia-NSW () (values -10 #'Australia-NSW-DST-p))
  1112.      (Australia-North () (values -19/2 #'no-DST-p))
  1113.      (Australia-Queensland () (values -10 #'no-DST-p))
  1114.      (Australia-South () (values -19/2 #'Australia-Oz-DST-p)) ; DST switch incorrect by half an hour??
  1115.      (Australia-Tasmania () (values -10 #'Australia-Oz-DST-p))
  1116.      (Australia-Victoria () (values -10 #'Australia-Victoria-DST-p))
  1117.      (Australia-West () (values -8 #'no-DST-p))
  1118.      (Australia-Yancowinna () (values -19/2 #'Australia-NSW-DST-p))
  1119.      (Brazil-Acre () (values 5 #'Brazil-DST-p))
  1120.      (Brazil-DeNoronha () (values 2 #'Brazil-DST-p))
  1121.      (Brazil-East () (values 3 #'Brazil-DST-p))
  1122.      (Brazil-West () (values 4 #'Brazil-DST-p))
  1123.      (CET () (MET))
  1124.      (Canada-Atlantic () (values 4 #'Canada-DST-p))
  1125.      (Canada-Central () (values 6 #'Canada-DST-p))
  1126.      (Canada-East-Saskatchewan () (values 6 #'no-DST-p))
  1127.      (Canada-Eastern () (values 5 #'Canada-DST-p))
  1128.      (Canada-Mountain () (values 7 #'Canada-DST-p))
  1129.      (Canada-Newfoundland () (values 7/2 #'Canada-DST-p)) ; DST switch incorrect by half an hour??
  1130.      (Canada-Pacific () (values 8 #'Canada-DST-p))
  1131.      (Canada-Yukon () (values 9 #'Canada-DST-p))
  1132.      (Chile-Continental () (values 4 #'Chile-DST-p))
  1133.      (Chile-EasterIsland () (values 6 #'Chile-DST-p))
  1134.      (Cuba () (values 5 #'Cuba-DST-p))
  1135.      (EET () (values -2 #'East-Europe-DST-p))
  1136.      (Egypt () (values -2 #'Egypt-DST-p))
  1137.      (Factory () (GMT)) ; who cares?
  1138.      (GB-Eire () (values 0 #'GB-Eire-DST-p))
  1139.      (GMT () (values 0 #'no-DST-p))
  1140.      (GMT+0 () (GMT))
  1141.      (GMT+1 () (values -1 #'no-DST-p))
  1142.      (GMT+2 () (values -2 #'no-DST-p))
  1143.      (GMT+3 () (values -3 #'no-DST-p))
  1144.      (GMT+4 () (values -4 #'no-DST-p))
  1145.      (GMT+5 () (values -5 #'no-DST-p))
  1146.      (GMT+6 () (values -6 #'no-DST-p))
  1147.      (GMT+7 () (values -7 #'no-DST-p))
  1148.      (GMT+8 () (values -8 #'no-DST-p))
  1149.      (GMT+9 () (values -9 #'no-DST-p))
  1150.      (GMT+10 () (values -10 #'no-DST-p))
  1151.      (GMT+11 () (values -11 #'no-DST-p))
  1152.      (GMT+12 () (values -12 #'no-DST-p))
  1153.      (GMT+13 () (values -13 #'no-DST-p))
  1154.      (GMT-0 () (GMT))
  1155.      (GMT-1 () (values 1 #'no-DST-p))
  1156.      (GMT-2 () (values 2 #'no-DST-p))
  1157.      (GMT-3 () (values 3 #'no-DST-p))
  1158.      (GMT-4 () (values 4 #'no-DST-p))
  1159.      (GMT-5 () (values 5 #'no-DST-p))
  1160.      (GMT-6 () (values 6 #'no-DST-p))
  1161.      (GMT-7 () (values 7 #'no-DST-p))
  1162.      (GMT-8 () (values 8 #'no-DST-p))
  1163.      (GMT-9 () (values 9 #'no-DST-p))
  1164.      (GMT-10 () (values 10 #'no-DST-p))
  1165.      (GMT-11 () (values 11 #'no-DST-p))
  1166.      (GMT-12 () (values 12 #'no-DST-p))
  1167.      (GMT0 () (GMT+0))
  1168.      (GMT1 () (GMT+1))
  1169.      (GMT2 () (GMT+2))
  1170.      (GMT3 () (GMT+3))
  1171.      (GMT4 () (GMT+4))
  1172.      (GMT5 () (GMT+5))
  1173.      (GMT6 () (GMT+6))
  1174.      (GMT7 () (GMT+7))
  1175.      (GMT8 () (GMT+8))
  1176.      (GMT9 () (GMT+9))
  1177.      (GMT10 () (GMT+10))
  1178.      (GMT11 () (GMT+11))
  1179.      (GMT12 () (GMT+12))
  1180.      (GMT13 () (GMT+13))
  1181.      (Greenwich () (GMT))
  1182.      (Hongkong () (values -8 #'no-DST-p))
  1183.      (Iceland () (values 0 #'no-DST-p))
  1184.      (Iran () (values -7/2 #'Iran-DST-p)) ; DST switch incorrect by half an hour??
  1185.      (Israel () (values -3 #'Israel-DST-p))
  1186.      (Jamaica () (US-Eastern))
  1187.      (Japan () (values -9 #'no-DST-p))
  1188.      (Libya () (values -2 #'Libya-DST-p))
  1189.      (MET () (values -1 #'Mid-Europe-DST-p))
  1190.      (Mexico-BajaNorte () (values 8 #'Mexico-DST-p))
  1191.      (Mexico-BajaSur () (values 7 #'no-DST-p))
  1192.      (Mexico-General () (values 6 #'no-DST-p))
  1193.      (NZ () (values -10 #'NZ-DST-p)) ; New Zealand
  1194.      (Navajo () (US-Mountain))
  1195.      (PRC () (values -8
  1196.                      (error "Timezone for PRC not implemented -
  1197. Don't forget that 10000 students were murdered by the government
  1198. of the \"People's Republic of China\" in June 1989!"
  1199.      )       )       )
  1200.      (Poland () (values -1 #'West-Europe-DST-p))
  1201.      (ROC () (values -8 #'no-DST-p)) ; "Republic of China" aka Taiwan
  1202.      (ROK () (values -9 #'ROK-DST-p)) ; "Republic of Korea"
  1203.      (Singapore () (values -8 #'no-DST-p))
  1204.      (SystemV-AST4 () (values 4 #'no-DST-p))
  1205.      (SystemV-AST4ADT () (values 4 #'SystemV-DST-p))
  1206.      (SystemV-CST6 () (values 6 #'no-DST-p))
  1207.      (SystemV-CST6CDT () (values 6 #'SystemV-DST-p))
  1208.      (SystemV-EST5 () (values 5 #'no-DST-p))
  1209.      (SystemV-EST5EDT () (values 5 #'SystemV-DST-p))
  1210.      (SystemV-HST10 () (values 10 #'no-DST-p))
  1211.      (SystemV-MST7 () (values 7 #'no-DST-p))
  1212.      (SystemV-MST7MDT () (values 7 #'SystemV-DST-p))
  1213.      (SystemV-PST8 () (values 8 #'no-DST-p))
  1214.      (SystemV-PST8PDT () (values 8 #'SystemV-DST-p))
  1215.      (SystemV-YST9 () (values 9 #'no-DST-p))
  1216.      (SystemV-YST9YDT () (values 9 #'SystemV-DST-p))
  1217.      (Turkey () (values -3 #'West-Europe-DST-p))
  1218.      (UCT () (GMT))
  1219.      (US-Alaska () (values 9 #'US-DST-p))
  1220.      (US-Aleutian () (values 10 #'US-DST-p))
  1221.      (US-Arizona () (values 7 #'no-DST-p))
  1222.      (US-Central () (values 6 #'US-DST-p))
  1223.      (US-East-Indiana () (values 5 #'no-DST-p))
  1224.      (US-Eastern () (values 5 #'US-DST-p))
  1225.      (US-Hawaii () (values 10 #'no-DST-p))
  1226.      (US-Michigan () (values 5 #'US-Michigan-DST-p))
  1227.      (US-Mountain () (values 7 #'US-DST-p))
  1228.      (US-Pacific () (values 8 #'US-DST-p))
  1229.      (US-Pacific-New () (values 8 #'US-Pacific-New-DST-p))
  1230.      (US-Samoa () (values 11 #'no-DST-p))
  1231.      (UTC () (GMT))
  1232.      (Universal () (GMT))
  1233.      (W-SU () (values -3 #'Mid-Europe-DST-p))
  1234.      (WET () (values 0 #'West-Europe-DST-p))
  1235.      (Zulu () (GMT))
  1236.     )
  1237.     (macrolet ((timezone (form)
  1238.                  `(MULTIPLE-VALUE-SETQ (*DEFAULT-TIME-ZONE* *DEFAULT-DST-CHECK*)
  1239.                                        ,form
  1240.                   )
  1241.               ))
  1242.       (timezone
  1243.         (
  1244.          ;; ==================== PUT IN YOUR TIME ZONE HERE ====================
  1245.          MET
  1246.          ;; ====================================================================
  1247. ) ) ) ) )
  1248.